1. Computational logic
Author: J.W. Lloyd )ed.(
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
Classification :
QA
.
A96
,
C654
76
.
9
1990
2. Computational logic
Author: / J .W .Lloyd ( ed )
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96C654
1990
3. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
Author: J.W. Lloyd )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
A96
C65
1990
4. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
Author: J.W. Lloyd )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
A96S97
1990
